1. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
2. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
4. Formal Aspects of Context
Author: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
5. Fuzzy Sets, Logics and Reasoning about Knowledge
Author: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
